MLISP[3]

A hybrid of MLISP[1] and Scheme.

"M-LISP: Its Natural Semantics and Equational Logic", R. Muller, SIGPLAN Notices 26(9):234-242 (Sept 1991) (PEPM '91).